Stronger Validity Criteria for Encoding Synchrony. - Rob van Glabbeek; Ursula Goltz; Christopher Lippert 001; Stephan Mennicke (The Art of Modelling Computational Systems, 2019)