GitHub repository: HBRS-SDP/component-monitoring
Description: A library for (semi-)formal component specification and component monitoring