A Case Study in Formalizing UML Software Models of Safety Critical Systems

@inproceedings{Clachar2010ACS,
  title={A Case Study in Formalizing UML Software Models of Safety Critical Systems},
  author={Sophine Clachar and Emanuel S. Grant},
  year={2010}
}