Uppaalmodel of train gate