Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria.

Andrew Butterfield Juan Bicarregui Alvaro Arenas Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria. 177-178 2007 30 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-006-0032-z db/journals/fmsd/fmsd30.html#ButterfieldBA07