EPOS : A Specification and Design Technique for Computer Controlled Real-time Automation Systems.

Rudolf Lauber, Joachim Biewald, Peter Ghner, H. Schelling

Browse the full ICSE paper archive.