A model-based MICOM application software development method. - Kyo Chul Kang; Sey-Chan Jang (APSEC, 1994)