The Heterogeneous Tool Set. Available at www.tzi.de/cofi/hets (2004)

by T Mossakowski, C Maeder, K Lüttich, S Wölfl