Practical Verification of Component Substitutability Using Subtype Relation. - Premysl Brada; Lukas Valenta (EUROMICRO-SEAA, 2006)