Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.
Extended support for contracts modelling, editing and analysis.
Extended suppport for automatic faul tree analysis based upon formal method.
Updated dependability profile with security conerns.
Updated failure propagation analysis, to allow multi-concerns fault tree derivation.
Several bugs fixed.