Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet. - Konsta Karsisto; Antti Valmari (FTRTFT, 1996)

Visualisation of Reduced Abstracted Behaviour as a Design Tool. - Antti Valmari; Konsta Karsisto; Manu Setälä (PDP, 1996)

Survey of code-size reduction methods. - Árpád Beszédes; Rudolf Ferenc; Tibor Gyimóthy; André Dolenc; Konsta Karsisto (ACM Comput. Surv., 2003)