How Lucid uses Lucid: Documenting technical requirements