Feasibility of Property-Based Testing for Time-Dependent Systems | Publicación