Using an Architecture Description Language to Model a Large-Scale Information System -- An Industrial Experience Report | IEEE Conference Publication | IEEE Xplore