Package cruise.umple.nusmv