Closed World Specification of Embedded Real-Time Controllers.

Klaas Brink, Leon J. G. Bun, Jan van Katwijk, W. J. Toetenel

Browse the full ECRTS paper archive.