AutoPlug: An automotive test-bed for electronic controller unit testing and verification | IEEE Conference Publication | IEEE Xplore