Add specification of the example app