A. Prange, D. Schmidt, and D. Sonntag. 30th IEEE International Symposium on Computer-Based Medical Systems, CBMS 2017, Thessaloniki, Greece, June 22--24, 2017, page 773--774. Los Alamitos, CA, IEEE Computer Society, (2017)
U. Prange, H. Ehrig, K. Hoffmann, and J. Padberg. Concurrency, Graphs and Models, volume 5065 of Lecture Notes in Computer Science, page 96-113. Springer, (2008)