Run-time fault detection in monitor based concurrent programming | IEEE Conference Publication | IEEE Xplore