UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context | IEEE Conference Publication | IEEE Xplore