The AGEDIS tools for model based testingAlan HartmanKenneth Nagin2004UML Satellite Activities 2004Conference paper
OCL and Model Driven EngineeringJean BézivinThomas Baaret al.2004UML Satellite Activities 2004Conference paper