‘sContract – Design’ version 1.5