The Safety Related Software for Railway Control with Respect to Automatic Level Crossing Signaling System. - Andrzej Lewinski; Katarzyna Trzaska-Rycaj (TST, 2010)