João M. Fernandes

Behavioral modeling for embedded systems and technologies

Generative and Transformational Techniques in Software Engineering III