How to Verify a Safe Real-Time System: T
โ
A. Burns
๐
Article
๐
2003
๐
Springer US
๐
English
โ 557 KB