Formal Verification of Healthcare Computer Network Architectures Using Alloy and TLA+. - Daniel Dauksevic; Linas Laibinis (ABZ, 2026)