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