SyBIT Tools for SystemsX.ch Ela Hunt and Peter Kunszt, SyBIT, SystemsX.ch, ETH Zurich {ela.hunt, peter.kunszt}@systemsx.ch SystemsX.ch is a consortium.
