TY  - BOOK
AU  - Bernstein
TI  - Trustworthy Systems Through Quantitative Software Engineering
PB  - IEEE
UR  - https://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
ER  -