High level KSpecification for the MCD System by Runtime Verification and Maker Foundation - View it on GitHub