A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip | IEEE Conference Publication | IEEE Xplore