Functional safety verification on railway signaling system with Colored Petri Nets Conference proceeding in 17th International IEEE Conference on Intelligent Transportation Systems (ITSC) (November 2014)