Xuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li: On-line verification of current-state opacity by Petri nets and integer linear programming. Autom. 94: 205-213 (2018)