formal techniques in real-time and fault-tolerant systems (en Inglés)

vytopil, jan · springer