Text this: Methods for modeling and verifying event-driven systems

 __   _      ___     _____      ______     _____  
| || | ||   / _ \\  |  __ \\   /_   _//   / ___// 
| '--' ||  | / \ || | |  \ ||   -| ||-    \___ \\ 
| .--. ||  | \_/ || | |__/ ||   _| ||_    /    // 
|_|| |_||   \___//  |_____//   /_____//  /____//  
`-`  `-`    `---`    -----`    `-----`  `-----`