interactive critical systems
PetShop
ICS group
People
Publications
Projects
Teaching & student supervision
Community services
Administration
Tools
Circus
DREAMER
HAMSTERS
PetShop
SWCEditor
TOUCAN
Home
ICO Formalism
Application domains
Publications
Demos
Contact
Petshop demos
IMAGE
ARINC 661