Add PDFs of BT formal specification documents