Nikhil Dinesh Aravind K. Joshi Insup Lee Oleg Sokolsky Checking Traces for Regulatory Conformance. 86-103 2008 RV http://dx.doi.org/10.1007/978-3-540-89247-2_6 conf/rv/2008 db/conf/rv/rv2008.html#DineshJLS08