Safety analysis of railway control systems using statecharts

Technological evolution in computerized area enabling the use thereof in several different fields of applications gave rise to the appearance of new problems related to safety, which became critical as long as such applications started including areas where a failure could take to very drastic consequences, such as damages to...