selected publications chapter Software-based Safety-critical Systems: a Taxonomy. Springer eBooks. 3-13. 1997