CLARISÓ, R.; KONDRATYEV, A.; LAVAGNO, L.; PASSERONE, C.; WATANABE, Y.
(2002).
"
Synthesis of embedded software for reactive systems
".
A:
2nd International Workshop on Integration of Specification Techniques for Applications in Engineering (INT'02).
Grenoble,
6 abril.