A specification and validation method to improve concurrent systems reliability based on object messaging and rewriting logic | IEEE Conference Publication | IEEE Xplore