NuSMV-PO/examples/tcas
