The new video section just opened. A first exemplifying video is available in the download section. It demonstrates the first part of inferring a model for the Alternating Bit Protocol. The full version as well as a version explaining the scenario classification will be made available, soon.