A procedure for obtaining a behavioral description for the control logic of a non-linear pipeline | IEEE Conference Publication | IEEE Xplore