Shuqing Zhao, Daniel D. Gajski: Defining an Enhanced RTL Semantics. DATE 2005: 548-553