Wikan Danar Sunindyo, Martin Melik-Merkumians, Thomas Moser, Stefan Biffl. Enforcing safety requirements for industrial automation systems at runtime position paper. In 2nd International Workshop on Requirements@Run.Time (RE@RunTime 2011), Trento, Italy, August 30, 2011. pages 37-42, IEEE, 2011. [doi]
Abstract is missing.