Spenny: Extensive ICS Protocol Reverse Analysis via Field Guided Symbolic Execution | IEEE Journals & Magazine | IEEE Xplore