Model-based Cybersecurity Analysis: Past Work and Future Directions | IEEE Conference Publication | IEEE Xplore