Hossin Mahmud; Shikdar, Md. Riad
(Daffodil International University, 2021-01)
An Automated Teller Machine (ATM) is a safety-critical and real-time system that is
highly complicated in design and implementation. This paper presents the formal
design, specification, and modeling of the ATM system ...