Model based formal design for MVB system | IEEE Conference Publication | IEEE Xplore