“Dependability of cyber-physical computer systems with embedded microprocessors”. (2026) Mathematical Machines and Systems, (3), pp. 112–125. doi:10.34121/1028-9763-2026-3-112-125.