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)