Rayadurgam, Sanjai2022-03-022022-03-022016978-3-319-40647-3978-3-319-40648-0https://publica.fraunhofer.de/handle/publica/159624Nasa formal methods. 8th international symposium, NFM 2016. Proceedings