Created JabRef database and inserted CFT-tool reference on it