Books

Bredereke, J.:
Maintaining Families of Rigorous Requirements for Embedded Software Systems.
No. 25 in BISS Monographs. Logos Verlag, Berlin, Germany (2007). Revised version. ISBN 978-3-8325-1521-8.
Also online at University of Bremen eLib, Bremen, Germany (2009). urn:nbn:de:gbv:46-ep000106275. (abstract - pdf)