@InProceedings{,
  author = 	 {Subodh Sharma and Ganesh Gopalakrishanan nad Eric Mercer and Jim Holt},
  title = 	 {MCC - A runtime verification tool for MCAPI user applications},
  booktitle =  {Formal Methods in Computer Aided Design},
  year = 	 {2009}}