Guang Yang, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin. Separation of concerns: overhead in modeling and efficient simulation techniques. In Giorgio C. Buttazzo, editor, EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings. pages 44-53, ACM, 2004. [doi]
Abstract is missing.