Automated synthesis of protocol specifications with message collisions and verification of timeliness | IEEE Conference Publication | IEEE Xplore