Several applications considering the functional safety
requirements about railway signalization systems are
described in Durmuş et al (2011a), Yıldırım et al (2011), Eriş
et al (2011a, 2011b). EN 50126, EN 50128, EN 50129 are the
international standards published by CENELEC about the
functional safety requirements for railway applications.