@inproceedings{CMMD22-FAC,
  author       = {Carre{\~{n}}o, V{\'{\i}}ctor A. and
                  Moscato, Mariano M. and
                  Masci, Paolo M. and
                  Dutle, Aaron},
  editor       = {Silvia Lizeth Tapia Tarifa and
                  Jos{\'{e}} Proen{\c{c}}a},
  title        = {Interpretation and Formalization of the Right-of-Way Rules},
  booktitle    = {Formal Aspects of Component Software - 18th International Conference,
                  {FACS} 2022, Virtual Event, November 10-11, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13712},
  pages        = {59--73},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20872-0_4},
  doi          = {10.1007/978-3-031-20872-0_4},
}