Liang, et al.. Formal Specification-based Online Monitoring. IEEE Comput. Soc, doi:10.1109/iceccs.2006.1690364.