Controller Area Network Discrete-Event System Specification For Independent Node Testing. - Maaz Jamal; Joseph Boi-Ukeme; Gabriel A. Wainer (ANNSIM, 2022)

Approximate Discrete-Event Method for Supervisory Control. - Maaz Jamal; Gabriel A. Wainer (WSC, 2023)