26,273 followers Fabio Piscini @Fabio_Piscini Modelling Attack-defense Trees Using Timed Automata - Springer https://t.co/IFiSWXUwSf 23 Aug 2016 Reply Repost Favourite