To Be Done!!!

Work in progres... Please look at the example code (in the Tests directory), and contact Luca Abeni (abeni@disi.unitn.it) for more details.