A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment. - Xiaofeng Li; Arnaud Rubin; Robert Phelps; Jean Steinier (SEKE, 1989)