"Towards Formal Foundations for BORM ORD Validation and Simulation."

Martin Podloucký, Robert Pergl (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics