João Paulo Barros, Anikó Costa, Luís Gomes: Modeling Formalisms for Embedded System Design. Embedded Systems Handbook 2005