Did you know that book embeddings of graphs have been used to model fault-tolerant computer systems , the phases of traffic lights , and pseudoknots in RNA molecules?