TY  - RPRT
TI  - Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product Family
AU  - Peter Csaba Ölveczky
AU  - José Meseguer
PY  - 2010
DO  - 10.4204/eptcs.36.8
UR  - https://arxiv.org/abs/1009.4265
ID  - 1009.4265
ER  -