M. Strömman, I. Seilonen, J. Peltola, and K. Koskinen. SIMULTECH (Selected Papers), volume 197 of Advances in Intelligent Systems and Computing, page 239-254. Springer, (2011)
M. Strömman, I. Seilonen, and K. Koskinen. SIMULTECH (Selected Papers), volume 256 of Advances in Intelligent Systems and Computing, page 291-303. Springer, (2012)
A. Hartman, M. Katara, and S. Olvovsky. Haifa Verification Conference, volume 4383 of Lecture Notes in Computer Science, page 204-218. Springer, (2006)