The top documents tagged [formal modelsenergy]