* Proc. IEEE International Conference on Data Mining Workshops
(ICDMW 2017): Data Mining for Cyberphysical and Industrial Systems (DMCIS
2017), pages 1058-1065. IEEE, 2017 Access Paper or Ask Questions
* In Proc. International Symposium on Formal Methods (FM 2016),
volume 9995 of LNCS, pages 155-163. Springer, 2016 * Short paper accepted by the 21st International Symposium on Formal
Methods (FM 2016) Access Paper or Ask Questions