Selective monitoring - Grigore, R; Kiefer, S (29th International Conference on Concurrency Theory, 2018)