Argón, P.; Roux, O. Some Issues in Using Formal Methods for the Development of Reactive Systems. EJS 1998, 1, 52-75.