Design and Runtime Verification Side-by-Side in eTrice. - Sudeep Kanav; Levi Lúcio; Christian Hilden; Thomas Schuetz (NFM, 2019)