https://citris-uc.org/event/specification-and-synthesis-of-networked-control-systems-with-application-to-autonomous-vehicles/