A hierarchical approach to the formal verification of embedded systems using MDGs [microcontrollers] | IEEE Conference Publication | IEEE Xplore