Formalising the UML in structured temporal theories
scientific article; zbMATH DE number 1645687