Formal methods for real-time computing /
Heitmeyer, Constance L.
Mandrioli, Dino.
Chichester : Wiley,
c1996.
Includes bibliographical references and index
Real-time data processing.