Design of mechatronic systems through aspect and object-oriented modeling