• Provably correct test development for timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and information systems VIII : selected papers from the Eleventh International Baltic Conference, DB&IS 20142014 / p. 289-302 : ill https://doi.org/10.3233/978-1-61499-458-9-289 https://www.scopus.com/sourceid/19500157321 https://www.scopus.com/record/display.uri?eid=2-s2.0-84911488779&origin=inward&txGid=f7cdcf5c12732d1f0bdf01829c35e145 https://www.webofscience.com/wos/woscc/full-record/WOS:000362357700021
• Provably correct test generation for online testing of timed systemsVain, Jüri; Anier, Aivo; Halling, EvelinDatabases and Information Systems : proceedings of the 11th International Baltic Conference, Baltic DB&IS 2014 : Tallinn, Estonia, 8-11 June, 20142014 / p. 337-348 : ill