Design approach for component-based automation systems using exact cover | IEEE Conference Publication | IEEE Xplore