博斯特罗姆，蓬图斯;莱昂内尔·莫雷尔;瓦尔登，玛丽娜 使用精化演算框架逐步开发Simulink模型。 （英语） Zbl 1147.68826号 Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711，79-93（2007）。MSC公司：68岁20岁 60年第68季度 93B40码 PDF格式BibTeX公司 XML格式引用 \textit｛P.Boström｝等人，Lect。注释计算。科学。4711，79-93（2007年；兹bl 1147.68826） 全文： 内政部 链接
博斯特罗姆，蓬图斯;瓦尔登，玛丽娜 使用（B）动作系统实现控制系统：案例研究。 （英语） Zbl 1088.93009号 Nord.J.计算。 11，第2期，75-101（2004）. 审核人：Sergiu T.Chiriacescu（布拉索夫） MSC公司：93C55美元 92 C50 PDF格式BibTeX公司 XML格式引用 \textit{P.Boström}和\textit{m.Waldén}，Nord.J.Compute。11，第2号，75--101（2004；Zbl 1088.93009）