A systematized approach for obtaining a dependable structured specification for an industrial automation system | IEEE Conference Publication | IEEE Xplore