https://cibymeceri.hamptonsbeachouse.com/formal-transformations-from-graphically-based-object-oriented-representations-to-theory-based-specificati-19009mv.php