Formal specification of delta MINs for MPSOC in the ACL2 logic | IEEE Conference Publication | IEEE Xplore