Carl E. Landwehr;Brian Randell;L. Simoncini
-;-;-
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
Fault-Tolerant Communication in Embedded Supercomputing
IEEE Micro