Combining Aspects of Reactive Systems

For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implications for selecting or constructing appropriate models for specific application domains are rarely addressed. We classify and compare di#erent specification methods for distributed systems concerning communication, behavior, and causality. We discus