Use Specinfra in architecture doc