Introduction

XML specification (Z) demo (birthday book)

XML specification (Z/Object-Z/TCOZ) demo (Queue)

XML specification (Object-Z/TCOZ) demo (light control system)

XMI transformation demo (light control system)