Formal Codesign and Implementation for Multifunction Vehicle Bus Circuits | IEEE Journals & Magazine | IEEE Xplore