Janusz Górski, Andrzej Wardzinski. Formal specification and verification of a real-time kernel. In Sixth Euromicro Workshop on Real-Time Systems, RTS 1994, Vaesteraas, Sweden, June 15-17, 1994. Proceedings. pages 205-211, IEEE, 1994. [doi]
Abstract is missing.