SqSelect: Automatic assessment of Failed Error Propagation in state-based systems | Publicación