Generating TTCN-3 test cases from EFSM models of reactive software using model checkingErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriInformatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden2006 / p. 241-248 https://www.semanticscholar.org/paper/Generating-TTCN-3-Test-Cases-from-EFSM-Models-of-Ernits-Kull/b626c55f607826939345eec24e985adf268b15e5

Multi-stage programming in MeteOCaml : GPCE 2005 tutorial : Tallinn, Estonia, 27 September 2005 : tutorial notesTaha, Walid; Calcagno, Christiano2005 https://www.ester.ee/record=b2074646*est