Object Based Multiparadigm Concepts for Verification of Functional Components ⋆