Formal-Methods-for-Industrial-Critical-Systems-15th-International-Workshop-FMICS-2010-Antwerp-Belgium-September-20-21-2010-Proceedings-Lecture-Notes-in-Computer-Science-6371-Band-6371 64,19 EUR*