A Graphic Notation for Formal Specifications of Dynamic Systems