The Software Cost Reduction (SCR) model of computation is a implementation of SCR. SCR "was created to help developers build specifications with greater assurance that the requirements will be complete, and the resulting software error-free."
The Ptolemy II SCR model of computation is an incomplete prototype.