(************************************************************ * IMITATOR MODEL * * Railroad Gate Controller * * Description : Simple model with 1 PTA only * Correctness : "Crash" cannot happen * Source : Own work * Author : Étienne André * Modeling : Étienne André * Input by : Étienne André * * Created : 2012/03/13 * Fork from : Train1PTA.pi0 * Fork date : 2014/03/27 * Last modified : 2020/08/19 * * IMITATOR version: 3.0 ************************************************************) property := #synth IM( & dApproach = 4 & dStartDown = 2 & dGetDown = 3 );