M. Kwiatkowska, G. Norman, and D. Parker. The Art of Modelling Computational Systems, volume 11760 of Lecture Notes in Computer Science, page 379-396. Springer, (2019)
C. Chapman, C. Parker, S. Parsons, and W. Seales. MTSR, volume 1355 of Communications in Computer and Information Science, page 143-154. Springer, (2020)
S. Kambhampati, E. Parker, and E. Lambrecht. Recent Advances in Planning: Fourth European Conference on Planning, ECP'97, page 260--272. SpringerVerlag, (1997)