.md File is not a specification: Using formal analysis to find requirements gaps