DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-29662-9_4,7232,ToHe,Mixed-time signal temporal logic