@article {ISSE.2010.231-241,
   author = {Hui Liang and Jin Song Dong and Jing Sun and W. Eric Wong},
   title = {{Software Monitoring through Formal Specification Animation}},
   journal = {Innovations in Systems and Software Engineering},
   publisher = {Springer London},
   issn = {1614-5046},
   keyword = {Computer Science},
   pages = {231-241},
   volume = {5},
   issue = {4},
   url = {http://dx.doi.org/10.1007/s11334-009-0096-1},
   note = {10.1007/s11334-009-0096-1},
   year = {2009}
}