Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming. - Chien-Liang Chen; Shao-Chi Chin; Hsu-Chun Yen (Comput. J., 2010)