Making the requirements of process controlled systems explicit | IEEE Conference Publication | IEEE Xplore