selected publications academic article Challenges in Mitigating Errors in 1oo2D Safety Architecture with COTS Micro-controllers 2020 chapter HoloMiracle: Intuitive In-Situ Querying for Industrial Environments 2017