Specification and Validation of Multimedia Protocols using RT-LOTOS. - Jean-Pierre Courtiat; Roberto C. de Oliveira; L. Andriantsiferana (FTDCS, 1995)

An Experiment in using RT-LOTOS for the Formal Specification and Verification of a Distributed Scheduling Algorithm in a Nuclear Power Plant Monitoring System. - L. Andriantsiferana; Jean-Pierre Courtiat; Roberto C. de Oliveira; L. Picci (FORTE, 1997)