Xi Chen Harry Hsieh Felice Balarin Verification Approach of Metropolis Design Framework for Embedded Systems. 3-27 2006 34 International Journal of Parallel Programming 1 http://dx.doi.org/10.1007/s10766-005-0002-x db/journals/ijpp/ijpp34.html#ChenHB06