publication venue for Guest Editorial: Special issue on formal modeling and analysis of timed systems 2017
