Stratified Necessary Conditions for Differential Inclusions with State Constraints - Bettiol, P; Boccia, A; Vinter, RB (SIAM Journal on Control and Optimization, 2013)