@inproceedings{liang_dong_sun_duke_seviora, 
  title={Formal specification-based online monitoring}, 
  DOI={10.1109/iceccs.2006.1690364}, 
  publisher={IEEE Comput. Soc}, 
  author={Liang and Dong and Sun and Duke and Seviora}
  }