New developments in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics. Volume II: applications * Model checker of object-oriented programs based on generalized nets - Todorova, Magdalina (2012)