MCC: A runtime verification tool for MCAPI user applications - Sharma, S; Gopalakrishnan, G; Mercer, E; Holt, J (Formal Methods in Computer−Aided Design‚ 2009. FMCAD 2009, 2009)