Object-Oriented modeling and simulation of FMSs: a rule-based procedure.