Strong controlled-invariance of behavioural nD systems - Rocha, P (2017)