Using @Specification decorator