@inproceedings{ICECCS.2006.152-160,
 author = {Hui Liang and Jin Song Dong and Jing Sun and Roger Duke and Rudolph E. Seviora},
 title = {{Formal Specification-based Online Monitoring}},
 booktitle = {ICECCS '06: Proceedings of the 11th IEEE International Conference on Engineering of Complex Computer Systems},
 month = {August},
 year = {2006},
 location = {Stanford University, CA, USA},
 isbn = {0-7695-2530-X},
 pages = {152-160},
 doi = {http://dx.doi.org/10.1109/ICECCS.2006.1690364},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA}
}