Bibliography

BDRS04

M. Boiteau, Y. Dutuit, A. Rauzy, and J.-P. Signoret, The altarica data-flow language in use : Assessment of production availability of a multistates system, Reliability Engineering and System Safety, 2004.

dAH05

L. de Alfaro and T. Henzinger, Interface-based design, Engineering Theories of Software-intensitive Systems (M. Broy, J. Gruenbauer, D. Harel and C.A.R Hoare, eds.), vol. 195, NATO Science Series : Mathematics, Physics, and Chemistry, Springer, 2005, pp. 83-104.

Dam05

W. Damm, Controlling speculative design processes using rich component models, ACSD, IEEE Computer Society, 2005, pp. 118-119.

DR05

Y. Dutuit and A. Rauzy, Approximate estimation of system reliability via fault trees, Reliability Engineering and System Safety, vol. 87(2), 2005, pp. 163-172.

SPE

SPEEDS : Speculative and Exploratory Design in System Engineering. http://www.embedded-computing.com/news/db/?3398.