A modeling approach for development of an automotive AMT ECU software with UML-RT | IEEE Conference Publication | IEEE Xplore