Li, X.2022-03-022022-03-022008978-0-7695-3482-40-7695-3482-1https://publica.fraunhofer.de/handle/publica/147508HASE 2008, 11th IEEE High Assurance Systems Engineering Symposium. Proceedings