Specification of Embedded, Real-time Systems (1992)

by Jens U Skakkebaek, Anders P Ravn, Hans Rischel, Zhou ChaoChen
Venue:Dept. of Computer Science, Technical University of Denmark