Marcus Lindner, Andreas Lindner, Per Lindgren. Safe tasks: Run time verification of the RTFM-lang model of computation. In 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016. pages 1-8, IEEE, 2016. [doi]
Abstract is missing.