Title: Formal semantic definition of ELLA timing
Subjects: ELLA (Computer hardware description language)