Specification and refinement of mobile systems in MTLA and mobile UML
scientific article; zbMATH DE number 5017462