Bounded Verification of Software Models: Challenges and Opportunities | Publicación