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

Browse the full FORTE paper archive.