Conditional software specification & assurance: A practical assessment of contract-based approaches | IEEE Conference Publication | IEEE Xplore