Dubey, A., W. Xianbin, S. Hang, and J. T. Koo,
"Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach",
Lecture Notes in Computer Science, vol. 3707, pp. 114--128, October, 2005.
Download: Dubey_A_10_4_2005_Computatio.pdf (502.45 KB)