Cadena: An Integrated Environment for Developing High-Assurance Component-based Systems
u-blox_eCall_whitepaper_(MNS-X-11005).pdf
eCall whitepaper