Towards better system specifications