Simulation of Cyber-Physical Intelligent Mechatronic Component Behavior Using Timed Automata Approach Capítulo de livro