You are about to access our book library "Models for Hybrid Systems full version" .