Reference: B. K. Aichernig, H. Brandl, and W. Krenn.
Qualitative action systems.
In ICFEM '09: Proceedings of the 11th International
Conference on Formal Engineering Methods, pages 206-225, Berlin,
Heidelberg, 2009. Springer-Verlag.
www-data,
2020-09-10