@InProceedings{guyomarch_et_al:LIPIcs.TIME.2020.13,
author = {Guyomarc'h, Jean and Guerret, Fran\c{c}ois and El Mejjati, Bilal and Ohayon, Emmanuel and Vincke, Bastien and M\'{e}rigot, Alain},
title = {{Non-Simultaneity as a Design Constraint}},
booktitle = {27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
pages = {13:1--13:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-167-2},
ISSN = {1868-8969},
year = {2020},
volume = {178},
editor = {Mu\~{n}oz-Velasco, Emilio and Ozaki, Ana and Theobald, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.13},
URN = {urn:nbn:de:0030-drops-129819},
doi = {10.4230/LIPIcs.TIME.2020.13},
annote = {Keywords: Temporal reasoning, Temporal constraints, Specification and verification of systems}
}