Task blocks for synthesis of controllers for condition systems | IEEE Conference Publication | IEEE Xplore