Here you can find manual created example files which are used for specifying and demonstrating purposes.