VERIFICATION AND VALIDATION OF REAL-TIME SOFTWARE - Bologna, S. (Springer, 1985)