Improved tab layout and added LTLSPEC requirement 5, 6, 7 and 9.