IEEE Standard Criteria for Programmable Digital Devices in Safety Systems of Nuclear Power Generating Stations IEEE 7-4.3.2-2016, Revision of IEEE Std 7-4.3.2-2010 . New York The Institute of Electrical and Electronics Engineers, Inc. - IEEE 2016 . 84 s . ISBN 978-1-5044-0859-2 . [1, currently available 1]