System-level design and simulation of automation systems | IEEE Conference Publication | IEEE Xplore