Radu Grosu Thomas Stauner Manfred Broy A Modular Visual Model for Hybrid Systems. 75-91 1998 conf/ftrtft/1998 FTRTFT https://doi.org/10.1007/BFb0055338 db/conf/ftrtft/ftrtft1998.html#GrosuSB98