NASA project: Model-centric, safety-critical Java for Exploration (Overview slides)
	The Protocol Derivation Assistant (Pda)

	Kestrel Institute
	Specware.org
	Xasm.org
	Montages.com
	Fraunhofer (formely GMD) Insitute FIRST, Berlin
	International Computer Science Institute(ICSI) Berkeley
	Software Engineering Institute, Technical University Berlin
	Society of Design and Process Science