Oscar Mondragon Ann Q. Gates Steve Roach Humberto Mendoza Oleg Sokolsky Generating Properties for Runtime Monitoring from Software Specification Patterns. 107-126 2007 17 International Journal of Software Engineering and Knowledge Engineering 1 http://dx.doi.org/10.1142/S021819400700315X db/journals/ijseke/ijseke17.html#MondragonGRMS07