Modeling of Dual-Clutch and Semi-Automatic Transmission Logic in Alloy