We give some technical implementation details.

C++ (standard).
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 12.xx.xxxx.
Additional libraries
Xerces-C++ 2.7.0 (a validating XML parser written in a portable subset of C++); maple.h (Open Maple).
Code statistics
~9 klines (~5klines of pure code).
Doxygen 1.4.5.
Operating systems
Windows XP (however C++ code and Xerces-C should be portable to other operating systems, Open Maple portability was not investigated).
Diff. equations solver
Maple 9.5.
Input format
Behavioural Hybrid Process Calculus in the internal format provided by BHPCC (\BHPC~compiler)~\citep{Put06}
Output format
text file, with tabulation symbol separated columns containing time, values and actions.
plots were produced using Microsoft (R) Excel 2003 XY(Scatter) routine of Chart Wizard.


For further information contact us behave -at- utwente.nl (please replace the -at- by an @)