Optimality Conditions for Impulsive Processes with Intermediate State Constraints | IEEE Conference Publication | IEEE Xplore