https://1library.org/document/ozled2q4-novel-method-test-dependable-composed-service-components.html