Weak and strong stationarity in generalized bilevel programming and bilevel optimal control