Xiping Song: Systematic Integration of Design Methods. IEEE Softw. 14(2): 107-117 (1997)