On requirements for a cast-tool for complex, reactive system analysis, design and evaluation

Outline:

C. Schaffer, H. Praehofer - On requirements for a cast-tool for complex, reactive system analysis, design and evaluation - Computer Aided Systems Theory-EUROCAST 93, Las Palmas, Spanien, 1993, pp. 137-159