TIMSPAT – Reachability graph search-based optimization tool for colored Petri net-based scheduling | Publicación