Controllability decomposition of dynamic-algebraic Boolean control networks. Issue 7 (2nd July 2020)