Abu Naser Masud: Efficient computation of minimal weak and strong control closure. J. Syst. Softw. 184: 111140 (2022)