Computer-aided programming using formally specified design templates | IEEE Conference Publication | IEEE Xplore