Automated Analysis of Discrete Communication Behavior. - Kevin Rea; Robert de B. Johnston (IEEE Trans. Software Eng., 1987)

An Approach to Specifying and Synthesizing Communicating Processes. - M. Hakan Erdogmus; Robert de B. Johnston (FORTE, 1990)

A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol. - Abdelillah Mokkedem; Michael J. Ferguson; Robert de B. Johnston (FME, 1997)

An Embedded Reachability Analyzer and Invariant Checker (ERAIC). - Ouiza Dahmoune; Robert de B. Johnston (MTV, 2010)

Applying Model-Checking to Post-Silicon-Verification: Bridging the Specification-Realisation Gap. - Ouiza Dahmoune; Robert de B. Johnston (ReConFig, 2010)

Model Checker to FPGA Prototype Commmunication Bottleneck Issue. - Ouiza Dahmoune; Robert de B. Johnston (MTV, 2011)

Overview of Applying Reachability Analysis to Verifying a Physical Microprocessor. - Robert de B. Johnston; Ouiza Dahmoune (MTV, 2011)