Robi Malik Partha S. Roop Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. 33-52 2005 conf/ifm/2005 IFM http://dx.doi.org/10.1007/11589976_4 db/conf/ifm/ifm2005.html#MalikR05