Bernardo Copstein, Michael da Costa Móra, Leila Ribeiro. An Environment for Formal Modeling and Simulation of Control Systems. In Proceedings 33th Annual Simulation Symposium (SS 2000), 16-22 April 2000, Washington, DC, USA. pages 74, IEEE Computer Society, 2000. [doi]
Abstract is missing.