Transforming designs towards implementations. - Marko Kääramees (RTS, 1995)

Using a Rule Language for Capturing Semantics in Web-Based Systems. - Tanel Tammet; Hele-Mai Haav; Vello Kadarpik; Marko Kääramees (DB&IS, 2006)

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. - Marko Kääramees; Jüri Vain; Kullo Raiend (TAIC PART, 2010)

Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. - Juri Vain; Andres Kull; Marko Kääramees; Maili Markvardt; Kullo Raiend (Model-Based Testing for Embedded Systems, 2011)

Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs - Danel Ahman; Marko Kääramees (MBT, 2012)