<root> <spec>v3_spec.mcrl2</spec> <properties/> </root>