Virtual prototyping of smart systems through automatic abstraction and mixed-signal scheduling | IEEE Conference Publication | IEEE Xplore