The European ESPRIT ProCoS-WG Working Group is based around the existing ProCoS II Basic Research project (no. 7071) to aid dissemination of the project's results and obtain feedback from the Working Group partners. ProCoS aims to improve dependability, reduce time-scales and cut development costs of construction for embedded systems, particularly in real-time and safety-critical applications. It uses and develops the results of basic research into fundamental properties of interactive systems. It aims to provide a scientific basis for future standards of practice in the development of embedded systems, ensuring correctness of all stages in the development, from elicitation and analysis of requirements through design and implementation of programs down to compilation and execution on verified hardware.