Artifact repository for the TOSEM article pertaining to the monitoring of decentralized specifications.