Christoph Schaffer, Herbert Praehofer. On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation. In Franz Pichler, Roberto Moreno-Díaz, editors, Computer Aided Systems Theory - EUROCAST 93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings. Volume 763 of Lecture Notes in Computer Science, pages 137-159, Springer, 1993.
Abstract is missing.