Correctness verification of real-time programs

Anderson, 1981, Fault Tolerance. Principles and Practice, 63 1983, ANSI/IEEE Software Standard, 729 Bartol, 1977, Theory of computing systems, 101 Henessy, 1985, Algebraic laws of non-determinism and concurrency, J. Assoc. Comp. Machinery, 32, 137, 10.1145/2455.2460 Kasai, 1982, Homomorphisms between models of parallel computations, J. of Computer and Systems Sciences, 25, 285, 10.1016/0022-0000(82)90014-9 Manna, 1974, Axiomatic approach to total correctness of programs, Acta Informatica, 3, 243, 10.1007/BF00288637 Manna, 1981, Verification of concurrent programs: The temporal framework, 215 Milne, 1980, A calculus of Communicating Systems, 92, 21 Szmuc, 1985, Process description of the correctness of concurrent systems, Elektrotechnika, 4, 427 Szmuc, 1985, The correctness of system of processes, Elektrotechnika, 4, 439 Szmuc, 1986, Correctness verification of parallel control programs, 159 Szmuc, 1988