A Graphic Notation for Formal Specifications of Dynamic Systems. - Gianna Reggio; Mauro Larosa (FME, 1997)