Specification and Validation of a Simple Overtaking Protokol using LOTOS.

Patrik Ernberg, Lars-ke Fredlund, Bengt Jonsson

Browse the full FORTE paper archive.