@book{2002-ericksson-book
,title={{FME 2002: formal methods---getting IT right, international symposium of formal methods Europe, Copenhagen, Denmark, July 22-24, 2002, proceedings}}
,booktitle={{FME 2002: formal methods---getting IT right, international symposium of formal methods Europe, Copenhagen, Denmark, July 22-24, 2002, proceedings}}
,editor={Lars-Henrik Eriksson and Peter A. Lindsay}
,ISBN={3--540--43928--5}
,publisher={Springer-Verlag}
,address={Berlin}
,series={Lecture Notes in Computer Science}
,volume={2391}
,year={2002}
}