On the Choice of Models of Computation for Writing Executable Specifications of System Level Designs. - Ivan Jeukens; Marius Strum (SBCCI, 2000)

Exploring Models of Computation through Static Analysis. - Ivan Jeukens; Marius Strum (FDL, 2003)