Liang, Dong, Sun, Duke, Seviora, n.d.. Formal specification-based online monitoring, in: . IEEE Comput. Soc.. https://doi.org/10.1109/iceccs.2006.1690364