• Using spark to ensure system to software integrity : a case studyNäks, Tõnu; Aiello, M.A.; Taft, S.T.Ada user journal2019 / p. 226-229 : ill https://www.ada-switzerland.ch/doc/auj/auj-40-4.pdf https://www.scopus.com/sourceid/27842 https://www.scopus.com/record/display.uri?eid=2-s2.0-85086901251&origin=inward&txGid=067c8611afda29e14fbcf225c21b7a35