Deshmukh, J. V., et al.. Specification Formalisms for Modern Cyber-physical Systems (dagstuhl Seminar 19071). July 2019, doi:10.4230/dagrep.9.2.48.