Compatibility and reuse in component−based systems via type and unit inference - Kühnel, C; Bauer, A; Tautschnig, M (IEEE, 2007)