structure
requirements
-- guidelines for system design
applications
-- target demonstrators
technology
-- declarative programming
evaluation
-- validation, PEFiC
conclusions and future research
-- digital dossiers