Text this: A technique for checking the adequacy of formal model