Runtime validation of behavioural contracts for component software | IEEE Conference Publication | IEEE Xplore