Causality in Message-Based Contract Violations: A Temporal Logic "Whodunit" | IEEE Conference Publication | IEEE Xplore