https://1library.net/document/zgxkeknq-formal-specification-uml-case-diagram-casl-based-approach.html