Toward a Model for Verification of Business Logic Layer in 3-Layer Architecture: CPN-ECA Model. - Nguyen Thanh Tuan; Le Thanh Nhan; Hoanh Thi Thanh Ha (KSE, 2019)