Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing.

Henning Dierks, Cheryl Dietz

Browse the full FM paper archive.