Assisted design for automation systems — From formal requirements to final designs | IEEE Conference Publication | IEEE Xplore