Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing | Publicación