Automated reasoning for derivation of products in MD-SPLE | IEEE Conference Publication | IEEE Xplore