Toward a specification procedure of operational functions for an automated system | IEEE Conference Publication | IEEE Xplore