Comparison of Some Safety Properties of Architecture 2003 and Architecture 2 × (2002). - Karol Rástocný; Peter Zdánsky (TST, 2018)