@article{TUW-174918, author = {S{\"u}nder, Christoph Karl and Vyatkin, Valeriy}, title = {Functional and temporal formal modelling of embedded controllers for intelligent mechatronic systems}, journal = {Int. J. Mechatronics and Manufacturing Systems (IJMMS)}, year = {2009}, volume = {2}, number = {1/2}, numpages = {21} }