NuSMV models for traffic lights controlling a crossing of two one-way roads.
No issues in this repository yet.