Documentation for HCSvLab