Report on analysis techniques for adaptive systems and first release of prototype analysis tools

Summary
D32 M18 Second report on analysis techniques for adaptive systems and first release of prototype analysis tools ULUND involving Tasks 31 37