NuSMV-PO/examples/reactor
