Added: /trunk/docs/CBSE2010/OSGiStates.pdfModified: /trunk/docs/CBSE2010/bibliography.bib /trunk/docs/CBSE2010/eventdrivenverification.tex