A Runtime-Monitoring-Based Dependable Software Construction Method | IEEE Conference Publication | IEEE Xplore