added template for automatically generated specification